What is JavaDoc tool and how to use it